Corpus conversion #25
Draft
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR adds the ability to convert an Echidna corpus to the Medusa corpus format. It partially addresses issue #24
It includes the following changes:
convertandgenerate. The former is used for corpus conversion, and the latter for generating unit tests from failed properties. 8 new flags were added to theconvertcommandEchidnaConverterwas added that handles parsing and generation of the converted files. The class takes a lot of code from theEchidnaclass, so this should be refactored to reduce code duplication before the PR is merged.stringandbytesare parsed was updated since the previous version was incorrect. More testing should be done on this part since I'm not 100% confident it's correctly decoded.--no-saveflag was added to unit test generation to be able to more easily debug this feature without overriding the already generated files. When--no-saveis passed in, the generated unit tests will not be saved to file.Before merging this PR further work should be done to:
EchidnaandEchidnaConverterclasses to reduce code duplicationcoveragecall sequences into Medusaimmutableandmutablesequences. Currently all sequences are added to both.